41. Generative programming and component engineering : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002 : proceedings
پدیدآورنده : Don Batory, Charles Consel, Walid Taha )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Generic programming )Computer science(,Congresses ، Component software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2487
42. Generative programming and component engineering : Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : proceedings
پدیدآورنده : Gabor Karsai, Eelco Visser )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Generative programming )Computer science(,Congresses ، Component software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3286
43. Generative programming and component engineering : second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings
پدیدآورنده : Frank Pfenning, Yannis Smaragdakis )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Generic programming )Computer science(,Congresses ، Component software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2830
44. Generative programming and component engineering : 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29-October 1, 2005 : proceedings
پدیدآورنده : Robert Gluck, Michael Lowry )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Generative programming )Computer science(,Congresses ، Component software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3676
45. Implementation and application of functional language
پدیدآورنده : / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
46. Languages and compilers for parallel computing
پدیدآورنده : \ Xipeng Shen , Frank Mueller, James Tuck (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Parallel programming (Computer science) -- Congresses.,Parallel processing (Electronic computers) -- Congresses,Computer software -- Congresses.,برنامهنویسی موازی -- کنگره ها ,پردازش موازی -- کنگره ها ,نرمافزار -- کنگره ها
رده :
QA
76
.
642
.
L32
2016
E-Book
,
47. Languages, methodologies, and development tools for multi-agent systems :
پدیدآورنده : Mehdi Dastani ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development, Congresses.,Intelligent agents (Computer software), Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
76
.
I58
L33
2009
48. Languages, methodologies, and development tools for multi-agent systems :
پدیدآورنده : Mehdi Dastani ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development, Congresses.,Intelligent agents (Computer software), Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
76
.
I58
L33
2009
49. Logic-Based Program Synthesis and Transformation
پدیدآورنده : \ Moreno Falaschi (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming -- Congresses.,Computer logic -- Congresses,Computer software -- Development -- Congresses.,برنامهنویسی منطقی -- کنگرهها ,منطق کامپیوتری -- کنگره ها ,نرمافزار -- تولید -- کنگره ها
رده :
QA
76
.
63
.
L6
2015
E-Book
,
50. Logic-Based Program Synthesis and Transformation
پدیدآورنده : \ [edited by] Maurizio Proietti, Hirohisa Seki.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming -- Congresses.,Computer logic -- Congresses.,Computer software -- Development -- Congresses.,برنامهنویسی منطقی -- کنگرهها,منطق کامپیوتری -- کنگره ها ,نرمافزار -- تولید -- کنگره ها
رده :
QA
76
.
6
.
L6
2015
E-Book
,
51. Logic-based program synthesis and transformation
پدیدآورنده : Elvira Albert (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic, Congresses,Computer software-- Development, Congresses,Logic programming, Congresses
رده :
QA76
.
63
.
L67
2012
52. Logic-based program synthesis and transformation :
پدیدآورنده : Fred Mesnard, Peter J. Stuckey (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic, Congresses.,Computer software-- Development, Congresses.,Logic programming, Congresses.,Computer logic.,Computer software-- Development.,Logic programming.
رده :
QA76
.
63
53. Managing complexity in software engineering /
پدیدآورنده : edited by R.J. Mitchell
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming-- Management-- Congresses,Computer software-- Development-- Congresses
رده :
QA76
.
76
.
D47
54. Mobile object systems : towards the programmable internet : second International Workshop, MOS'96, Linz, Austria, July 8-9, 1996 : selected presentations and invited papers
پدیدآورنده : Jan Vitek, Christian Tschudin )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Internet programming,Congresses ، Intelligent agents )Computer software(,Congresses ، Mobile computing
رده :
QA
76
.
L28
Vol
.
1222
55. Model driven architecture
پدیدآورنده : Uwe Assmann, Mehmet Aksit, Arend Rensink (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Object -- oriented programming (Computer science) -- Congresses,Model -- driven software architecture -- Congresses
رده :
QA
،
76
.
64
،.
M43
،
2005
56. Model driven architecture : European MDA Workshops : foundations and applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linkoping, Sweden, June 10-11, 2004 : revised selected papers
پدیدآورنده : Uwe Assmann, Mehmet Aksit, Arend Rensink )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Computer architecture,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3599
57. Model driven architecture: European MDA workshops: foundations and applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linkoping, Sweden, June 10-11, 2004: revised selected papers
پدیدآورنده : Uwe Assmann, Mehmet Aksit, Arend Rensink )eds.(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Computer architecture,Congresses ، Computer software - Development
رده :
QA
76
.
64
.
M43
2003
58. Multicore Software Engineering, Performance, and Tools
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,Multiprocessors -- Congresses,Parallel programming (Computer science) -- Congresses,نرمافزار -- مهندسی -- کنگرهها,چندپردازندهها -- کنگرهها,برنامهنویسی موازی -- کنگرهها
رده :
E-Book
,